int-divide-by[n] ket integer divide the value in the ket by n, leaving the coefficient unchanged if the ket is not a number, then return the empty ket |>
int-divide-by[1000] |123456> |123>